quasi-compact space

拟紧空间